Composition and Interoperability for External Domain-Specific Language Engineering. (Composition et interopérabilité pour l'ingénierie des langages dédiés externes)
نویسنده
چکیده
منابع مشابه
Leveraging Software Product Lines Engineering in the Construction of Domain Specific Languages. (Application de l'ingénierie des lignes de produits à la construction des langages dédiés. )
167
متن کاملGrowing a Domain Specific Language with Split Extensions
In this paper we consider simple language extensions given by a pair of transducers. When these transducers are viewed as trees transformers, one of this transducer provides an embedding of the original language into its extension while the other, a left-inverse to the embedding, allows every expression of the extended language to be expanded into an expression of the original language. This is...
متن کاملÉtude comparative pour la modélisation de plates-formes d'exécution. Application au temps réel embarqué
RÉSUMÉ. L'ingénierie des modèles promet une amélioration de la productivité du développement de logiciels, notamment une réduction des temps de développement consacrés à l'adaptation des applicatifs aux technologies permettant leur exécution. Pour atteindre ce but, une modélisation des technologies d'exécution (identifiées sous le terme de plate-forme), ainsi que la définition de transformation...
متن کاملUtilisation des continuations pour l'ingénierie d'agents conversationnels
RÉSUMÉ. Les continuations sont un concept de programmation bien établi permettant de capturer explicitement l’état du programme en cours. Elles sont présentes dans des langages de programmation fonctionnelle (par exemple Scheme), dans le modèle d’acteurs de Hewitt, et depuis peu dans des langages dynamiques (tels que Ruby, Smalltalk, Python, Javascript, Java). Elles ont été historiquement appli...
متن کاملChronique. Défis pour le génie de la programmation et du logiciel
Le groupe LTP (langages, types et preuves) note que la diffusion des méthodes de développement basées sur la preuve reste limitée. Il diagnostique que cet état de fait est lié à la difficulté de prise en main des outils de preuve, à leur capacité à passer à l'échelle et à la nécessité de valider les spécifications et hypothèses de départ. Il propose des pistes pour relever le défi de l'adoption...
متن کامل